add_B :: Integer -> Integer -> Integer
add_B x y = x + y
inc = add_B 1
